منابع مشابه
Compositional Specification Calculus for Information Systems Development
The paper presents a novel approach for type speciication manipulations as the basic operations intended to develop various forms of compositions in information systems. Among them are interoperable compositions of pre-existing components formed during the information systems design, heterogeneous multidatabase compositions, database sche-ma and ontology integration, compositions of workkows, c...
متن کاملA compositional coalgebraic model of fusion calculus
This paper is a further step in exploring the labelled transitions and bisimulations offusion calculi. We follow a recent theory by the same authors and previously appliedto the pi-calculus for lifting calculi with structural axioms to bialgebras and, thus,we provide a compositional model of the fusion calculus with explicit fusions. Insuch a model, the bisimilarity relation ind...
متن کاملOn Compositional Reasoning in the Spi-calculus
Observational equivalences can be used to reason about the correctness of security protocols described in the spi-calculus. Unlike in CCS or in π-calculus, these equivalences do not enjoy a simple formulation in spi-calculus. The present paper aims at enriching the set of tools for reasoning on processes by providing a few equational laws for a sensible notion of spi-bisimilarity. We discuss th...
متن کاملA Compositional Coalgebraic Model of a Fragment of Fusion Calculus
This work is a further step in exploring the labelled transitions and bisimulations of fusion calculi. We follow the approach developed by Turi and Plotkin for lifting transition systems with a syntactic structure to bialgebras and, thus, we provide a compositional model of the fusion calculus with explicit fusions. In such a model, the bisimilarity relation induced by the unique morphism to th...
متن کاملA Compositional Proof System for the Modal -Calculus
We present a proof system for determining satisfaction between processes in a fairly general process algebra and assertions of the modal -calculus. The proof system is compositional in the structure of processes. It extends earlier work on compositional reasoning within the modal -calculus and combines it with techniques from work on local model checking. The proof system is sound for all proce...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Combinatorial Theory, Series A
سال: 1993
ISSN: 0097-3165
DOI: 10.1016/0097-3165(93)90094-o